Перевод: со всех языков на все языки

со всех языков на все языки

to supply proofs

См. также в других словарях:

  • number theory — Math. the study of integers and their relation to one another. Also called theory of numbers. [1910 15] * * * Branch of mathematics concerned with properties of and relations among integers. It is a popular subject among amateur mathematicians… …   Universalium

  • Eusèbe Renaudot — (July 20 1646 ndash;September 7 1720), was a French theologian and Orientalist.Born in Paris, he was brought up and educated for a career in the church. Despite his interest in theology and his title of abbé , much of his life was spent at the… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… …   Universalium

  • General equilibrium — theory is a branch of theoretical microeconomics. It seeks to explain the behavior of supply, demand and prices in a whole economy with several or many markets. It is often assumed that agents are price takers and in that setting two common… …   Wikipedia

  • Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …   Wikipedia

  • Late medieval logic — Paul Vincent Spade I Medieval logic encompassed more than what we call logic today. It included semantics, philosophy of language, parts of physics, of philosophy of mind and of epistemology. Late medieval logic began around 1300 and lasted… …   History of philosophy

  • United States dollar — USD redirects here. For other uses, see USD (disambiguation). United States dollar …   Wikipedia

  • Existence of God —     The Existence of God     † Catholic Encyclopedia ► The Existence of God     The topic will be treated as follows:     I. As Known Through Natural Reason     A. The Problem Stated     1. Formal Anti Theism     2. Types of Theism     B.… …   Catholic encyclopedia

  • Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… …   Wikipedia

  • Economics — This article is about the social science. For other uses, see Economics (disambiguation). For a topical guide to this subject, see Outline of economics. Economics …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»